programming correctness proof
[网络] 程序正确性证明
热门查询
- misspend vt. 浪费；滥用（时间、金钱等）
- roast n. 烤肉；烘烤 adj. 烘烤的；烤过的 vt. 烤，焙；烘，烘烤；暴露于某种热力下以得温暖 vi. 烤；烘
- macroeconomist macroeconomist [,mækrəui'kɔnəmist] n. 宏观经济学家 以上来源于：《21世纪大英汉词典》
- delegate n. 代表 vt. 委派…为代表
- practical adj. 实际的；实用性的
- trailer n. 拖车；[电视] 预告片；追踪者 vt. 用拖车载运 vi. 乘拖车式活动房屋旅行
- bulldozing n. 推土；糊炮爆破
- allegedly adv. 依其申述；据说，据称
- Christ n. 基督；救世主 int. 天啊！
- sty n. 猪圈；妓院 vt. 关入猪栏 vi. 住在猪圈里
- whopper n. 弥天大谎；特大之物
- heathland n. （英）欧石南丛生的荒野
- OBE abbr. 荣获英帝国勋章的军官（Officer of the Order of the British Empire）
- loose adj. 宽松的；散漫的；不牢固的；不精确的 vt. 释放；开船；放枪 vi. 变松；开火 adv. 松散地 n. 放纵；放任；发射 n. (Loose)人名；(捷、瑞典)洛塞；(英)卢斯；(德)洛泽
- ov abbr. oval 卵形的; ovary （生物）卵巢; overture 建议; over 结束
- successful adj. 成功的；一帆风顺的
- wil [计]= White Indicator Lamp,白色指示灯
- lineage n. 血统；家系，[遗] 世系
- wildebeest n. 羚羊的一种；牛羚（又名角马）（产于非洲）
- vodka n. 伏特加酒
